基本恒等式是三角函数加法公式推导,三角函数表达式和函数的分析非常重要的.
当然，我们用这一事实，
例.验证等式
答:下面有
但
和
和 
, 最后我们得到
备注：在一般情况下是检查给出的公式是否正确,做到这一点的一种方法是用一些数字变量替换,如果我们采取a=b = 0,我们得到
或我们可以采取 
.在这种情况下，我们有
例.找到确切的值
答，我们有
因此，使用我们得到的余弦函数的加法公式
因为
我们得到
例.找到确切的值
答，这里有
因为
我们得到
最后我们
备注.使用加法公式，我们产生如下的恒等式
更多的恒等式可能会被证明是类似于上述的。底线是要记住加法公式，并在需要时使用它们
